« Naṣrī Hamadānī ». Čīstā, n° 18, 8-9, (2001), série 178-179, pp. 605-628.

Europhys. Lett., 59 (4), pp. 599-605 (2002)

8 Trace Only Automata 179 Trace Assertion

The trace assertion method is a formal state machine based method for specifying module A module interface speciication treats the module as a black-box, identifying all module's access programs (i.e. programs that can be invoked from outside of the module), and describing their externally visible eeects. A formal model for the trace assertion method is proposed. The concept of step-traces is i...

Sca 2001-18.pdf

Nuclear magnetic resonance (NMR) relaxometry tests, carried out on partially saturated porous media, convey information on the distribution of fluids within the pore space. Proper interpretation of this information requires a means to isolate the effects of pore structure (pore and throat shape and size distributions, spatial correlations, etc.) wettability and saturation history. A pore networ...

Differentially regulated ADAMTS1, 8, 9, and 18 in pancreas adenocarcinoma

Introduction Despite recent diagnostic and therapeutic improvements, pancreas cancer remains one of the highly lethal cancers. The extracellular matrix (ECM) is a physiological barrier that limits the spread of cancer cells into surrounding tissues and distant organs. Disintegrin and metalloprotease with thrombospondin motifs (ADAMTS) is a family of 19 proteases, which is involved in various bi...

The automorphism group of an [18, 9, 8] quaternary code

An [18, 9, 8] extremal self-dual code over GF( 4 ) and related [17, 4, 12], [17, 8, 8],[17, 9, 7], [17, 13, 4] codes are investigated. Simple coordinates are given for these codes,and their minimal weight codewords and automorphism groups are determined. Thegroups are all isomorphic to 3 × (PSL 2 ( 16 ). 4 ). __________* This appeared in ‘‘Discrete Math.’’, vol. 83 (1990), pp. 2...